Free shipping on all orders! No minimum purchase required.
Logic and Program Semantics
by Robert L. Constable (Editor), Alexandra Silva (Editor)
